Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu

Source URL: www.spacios.eu

• Computer science
• Applied mathematics
• Extended finite-state machine
• Theory of computation
• Algorithm
• Assignment
• Models of computation
• Software engineering
• Formal methods

Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email:

Source URL: software.imdea.org

• Computer science
• Büchi automaton
• Linear temporal logic
• Symbol
• Complementation of Büchi automaton
• Automata theory
• Theoretical computer science
• Formal methods

Verification and Validation of Agent Based Models in the Social Sciences Paul Ormerod and Bridget Rosewell, Volterra Consulting, London Abstract This paper considers some of the difficulties in es

Source URL: www.bridgetrosewell.com

• Ethology
• Pharmaceutical industry
• Validity
• Knowledge
• Agent-based model
• Computer simulation
• Economic model
• Simulation
• Verification and validation
• Science
• Scientific modeling
• Formal methods

BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development

Source URL: www.brics.dk

• Formal methods
• Logic in computer science
• Notation
• Programming language
• Formal verification
• BRIC
• Michael Schwartzbach
• Logic
• Monad
• Computing
• Software engineering
• Science

FORMALIZATION OF TWO PUZZLES INVOLVING KNOWLEDGE John McCarthy Computer Science Department Stanford University Stanford, CA 94305

Source URL: www-formal.stanford.edu

Data Analytics Competitions as a Learning Tool

Source URL: edcon2013.ischool.syr.edu

• Data management
• Data analysis
• Statistics
• Data warehousing
• Analytics
• Mathematical finance
• Business analytics
• Data mining
• Computer science
• Business intelligence
• Formal sciences
• Business

Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence

Source URL: korrekt.org

• Information science
• Non-classical logic
• Formal systems
• Knowledge representation
• Ontology
• Description logic
• Axiom
• Modal logic
• Mereology
• Logic
• Mathematical logic
• Mathematics

Regular Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchenGarching, Germany Email:

Source URL: software.imdea.org

• Formal languages
• Logic in computer science
• Complexity classes
• Automata theory
• Temporal logic
• Linear temporal logic
• Modal logic
• Dynamic logic
• Model checking
• Theoretical computer science
• Mathematics
• Logic

‘Computing’ as Information Compression by Multiple Alignment, Unification and Search∗ J Gerard Wolff (University of Wales, Bangor, UK )

Source URL: www.cognitionresearch.org

• Science
• Formal sciences
• Bioinformatics
• Formal grammar
• Regular expression
• Universal Turing machine
• Pattern matching
• Unification
• Pattern
• Applied mathematics
• Formal languages
• Mathematics

                                   Invitation to Courses PROF. KRISHNENDU CHATTERJEE

Source URL: pub.ist.ac.at

• Formal methods
• Logic in computer science
• Formal verification
• Model checking
• Correctness
• Institute of Science and Technology Austria
• Distributed algorithm
• Algorithm
• Specification
• Theoretical computer science
• Applied mathematics
• Mathematics